Modelling the ICE Standard with a Formal Language for Information Commerce

Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very speci c types of business models or are too general to capture in a concise way the speci c properties of information commerce processes. We introduce a language that is speci cally designed for information commerce. It can be directly used for the implementation of the processes and communication required in information commerce. We demonstrate the use of the language by applying it to an important standard for specifying information commerce processes, the ICE Information and Content Exchange protocol [ICE1]. By doing so we also illustrate the bene t of using formal speci cations for information commerce processes allowing to capture informal speci cations, like ICE,